
run: build
	@dotnet run

build:
	@dotnet build -v diagnostic


grep-filter:
	@grep -irn 'NOTE:' --exclude-dir=bin --exclude-dir=obj --exclude=Makefile
	@grep -irn 'TODO:' --exclude-dir=bin --exclude-dir=obj --exclude=Makefile